منابع مشابه
Behavioral Programming
Motivated by biology and a study of complex systems intelligent behavior is typically associ ated with a hierarchical structure where the low est level is usually characterized by continuous variable dynamics and the highest by a logical decision making mechanism Consistent with bi ological ndings we instantiate a particular ver sion of such a hierarchy a Middle out Architec ture Signi cant the...
متن کاملProgramming Animation Using Behavioral Programming
We propose a simple, user-friendly way of creating computer programs for hybrid systems whose execution involves animation. This is done by adapting behavioral programming, a recently proposed approach to software development that is aligned with how people describe system behavior, for use in programming animation. Users can define discrete and continuous behavior, which are then run simultane...
متن کاملOn Behavioral Programming
The talk starts from a dream/vision paper I published in 2008, whose title, "Can Programming be Liberated, Period?", is a play on that of John Backus' famous Turing Award Lecture (and paper). I will propose that --or rather ask whether -programming can be made a lot closer to the way we humans think about dynamics, and the way we somehow manage to get others (e.g., our children, our employees, ...
متن کاملBehavioral Types in Programming Languages
A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of largescale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from thei...
متن کاملProgramming in Protocols - A Paradigm of Behavioral Programming
We present work in the creation of a programming paradigm based on the event protocols of objects. Our claim is this results in a high level executable language that bridges the gap between behavioral models and code for a large class of systems. The language is based on the idea of composing partial behavioral descriptions using process algebraic techniques. We show that the concepts forming t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 2012
ISSN: 0001-0782,1557-7317
DOI: 10.1145/2209249.2209270